- substitutivity of equality
- мат.подстановочность равенства
English-Russian scientific dictionary. 2008.
substitutivity of equality
Смотреть что такое "substitutivity of equality" в других словарях:
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
